منابع مشابه
Inference in Action
Inference entangled with other information sources In the 1980s, several interesting nonstandard notions of consequence P C emerged, claiming to reflect features of our common sense reasoning. Circumscription in AI looked at conclusions C true only in minimal models of the premises P, with minimality measured by some comparison order for model size or predicate interpretation. General non-monot...
متن کاملRGSep Action Inference
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set of RGSep actions overapproximating the interference that each thread causes to its concurrent environment. These inferred actions allow us to verify safety, liveness, and functional correctness properties of a collecti...
متن کاملType Inference for Action Semantics
Type inference for action semantics " (1990). Retrospective Theses and Dissertations. Paper 9492. The most advanced technology has been used to photograph and reproduce this manuscript from the microfilm master. UMI films the text directly from the original or copy submitted. Thus, some thesis and dissertation copies are in typewriter face, while others may be from any type of computer printer....
متن کاملAction mirroring and action understanding in children
The past decade has experienced an increasing interest in action underestanding and children’s mirroring of others’ behavior. Behavioral investigations have focused on the development and significance of mimicry, goal prediction and imitation. Others have focused on the neural basis of action mirroring, identifying particular electrophysiological markers or related brain regions. A vivid debate...
متن کاملAwareness of action: Inference and prediction.
This study investigates whether the conscious awareness of action is based on predictive motor control processes, or on inferential "sense-making" process that occur after the action itself. We investigated whether the temporal binding between perceptual estimates of operant actions and their effects depends on the occurrence of the effect (inferential processes) or on the prediction that the e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Publications de l'Institut Mathematique
سال: 2007
ISSN: 0350-1302,1820-7405
DOI: 10.2298/pim0796003v